منابع مشابه
Hypothesis Elimination in Kleene Semirings
—A Kleene Semiring (KS) is an algebraic structure satisfying the axioms of Kleene algebra, minus the annihilation axioms x.0 = 0 = 0.x. We show that, like Kleene algebra (KA), KS admits efficient elimination of various kinds of equational hypotheses, in particular Hoare formulas (x = 0). Our method is purely proof-theoretic, and can be used to eliminate Horn hypotheses in any suitable Horn-equa...
متن کاملHypothesis elimination on a quantum computer ∗
Hypothesis elimination is a special case of Bayesian updating, where each piece of new data rules out a set of prior hypotheses. We describe how to use Grover’s algorithm to perform hypothesis elimination for a class of probability distributions encoded on a register of qubits, and establish a lower bound on the required computational resources.
متن کاملThe Elimination of Toluenediamine from Aqueous Solution by Reverse Osmosis
Toluene diamine (TDA) is a main carcinogenic aromatic pollutant in some industrial wastewater. In this study, the reverse osmosis with DSS-HR98PP as the membrane was employed for the removal of TDA in an aqueous environment. The Box–Behnken Design (BBD) of the experimentwas used to consider the effect of operational variables such as pressure, pH and the feed volu...
متن کاملTesting the Convergence Clubs Hypothesis among MENA Countries
T his paper is to study the convergence of per capita income. Convergence clubs hypothesis is one of the forms of convergence hypotheses, implying that countries with the same initial level of economic development, technology, and government policies, tend to be similar in per capita income and thus have a tendency to cluster around a small number of poles. In order to test the hypot...
متن کاملHYPOTHESIS TESTING FOR AN EXCHANGEABLE NORMAL DISTRIBUTION
Consider an exchangeable normal vector with parameters ????2, and ?. On the basis of a vector observation some tests about these parameters are found and their properties are discussed. A simulation study for these tests and a few nonparametric tests are presented. Some advantages and disadvantages of these tests are discussed and a few applications are given.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Lancet
سال: 1871
ISSN: 0140-6736
DOI: 10.1016/s0140-6736(02)62794-1